Model-Based Safety and Assessment: 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014, Proceedings (Lecture Notes in Computer Science)
by Frank Ortmeier, Antoine Rauzy
ISBN 13: 9783319122137
Format: Paperback (220 pages) Publisher: Springer Published: 02 Oct 2014
Save for later
Static Analysis: Third International Workshop, WSA '93, Padova, Italy, September 22-24, 1993. Proceedings: 724 (Lecture Notes in Computer Science)
by Antoine Rauzy, Patrick Cousot, Moreno Falaschi, Gilberto File
ISBN 13: 9783540572640
Format: Paperback (300 pages) Publisher: Springer Published: 13 Jun 2008
Complex Systems Design & Management: Proceedings of the Third International Conference on Complex Systems Design & Management CSD&M 2012
by Marc Aiguier, Yves Caseau, Daniel Krob, Antoine Rauzy
ISBN 13: 9783642432552
Format: Paperback (352 pages) Publisher: Springer Published: 09 Nov 2014